
int main(int argc, char* argv[]) {
  char* msg = "hello, kernel!\n";
  asm volatile
      (
          "movl %0 , %%esi\n"
          "call __puts\n"
          :
          : "m"(msg)
       );

  return 0;
}
